Northeastern University - PDFSEARCH.IO - Document Search Engine

Northeastern University
Results: 1569

#	Item
501	About the Adamawa Peace Initiative The Adamawa Peace Initiative (API) promotes harmony, development and stability in Yola, the capital of the northeastern state of Adamawa in Nigeria through a collaboration of local Add to Reading List Source URL: aunf.org Language: English - Date: 2014-09-03 19:28:27 Yola Peace and conflict studies Academia Africa Adamawa State American University of Nigeria ASEAN University Network
502	Proceedings of the Australian Collaborative Education Network National Conference, Perth, 2010 Multiple Campus Operation – Challenges and Opportunities in Implementing Work Integrated Learning STEPHEN NAYLOR Add to Reading List Source URL: www.jcu.edu.au Language: English - Date: 2014-03-11 01:37:28 Cooperative education Northeastern University Pedagogy Rochester Institute of Technology Internship James Cook University Swinburne University of Technology E-learning Service-learning Education Association of Commonwealth Universities Alternative education
503	Eastern Oklahoma Workforce Briefing February 2015 The Eastern Oklahoma Workforce area consists of seven counties: Adair, Cherokee, McIntosh, Muskogee, Okmulgee, Sequoyah, and Wagoner. These counties have a combined esti Add to Reading List Source URL: okcommerce.gov Language: English - Date: 2015-02-12 10:25:29 North Central Association of Colleges and Schools Tulsa Metropolitan Area Muskogee County Oklahoma Indian Capital Technology Center Green Country Northeastern State University Bacone College Muskogee Public Schools Geography of Oklahoma Oklahoma Muskogee Oklahoma
504	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Type theory Data types Programming paradigms Denotational semantics Modal logic Actor model Object-oriented design Method overriding Software engineering Computing Computer programming
505	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
506	Hygienic Macros for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, MA, USA {cce,matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Functional languages Transformation languages Source code Hygienic macro Scheme programming language Common Lisp Macro ACL2 Computer programming Computing Software engineering
507	Debugging Hygienic Macros 1 Ryan Culpepper, Matthias Felleisen College of Computer and Information Science, Northeastern University, Boston MA 02115, USA Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Transformation languages Procedural programming languages Source code Lisp programming language Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
508	On Computing Temporal Aggregates with Range Predicates DONGHUI ZHANG Northeastern University ALEXANDER MARKOWETZ Hong Kong University of Science and Technology Add to Reading List Source URL: www.iai.uni-bonn.de Language: English - Date: 2009-10-30 11:56:17 Database theory Database management systems B-tree R-tree SQL Extensible Storage Engine Aggregate UB-tree Database Data management Information science Information
509	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
510	The NERA Researcher is a quarterly newsletter for members of the Northeastern Add to Reading List Source URL: www.nera-education.org Language: English - Date: 2014-04-29 14:57:05 Academia Knowledge University of Massachusetts Amherst Educational assessment Massachusetts Institute of Technology University of Massachusetts Graduate school New England Association of Schools and Colleges Association of Public and Land-Grant Universities Education

UPDATE